句法规则
And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
证明:由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。
A Rule System for Debugging Program Syntactic Errors
一个基于规则的程序语法错误诊断系统
纳米英语 · 双语娱乐资讯
纳米英语 · 英语口语
纳米英语 · 高中英语